<?php

// logout.php by Matt Fritz
// April 13, 2010
// Purely a page that calls a logout method and then a redirect without any rendering performed

// start the session
session_start();

// start buffering the output
ob_start();

// require the database and login libraries
require_once("database.php");
require_once("liblogin.php");

// perform the logout function and then the re-direct
processLogout();

// print out the buffer
ob_end_flush();

?>